#include<stdio.h>

int main()
{
	int a = 13;
	a |= (1 << 1);
	printf("%d\n", a);
	return 0;
}